ON MAPPING SPACES OF DIFFERENTIAL GRADED OPERADS WITH THE COMMUTATIVE OPERAD AS TARGET by
نویسندگان
چکیده
— The category of differential graded operads is a cofibrantly generated model category and as such inherits simplicial mapping spaces. The vertices of an operad mapping space are just operad morphisms. The 1-simplices represent homotopies between morphisms in the category of operads. The goal of this paper is to determine the homotopy of the operadic mapping spaces MapO0 (En,C) with a cofibrant En-operad En on the source and the commutative operad C on the target. First, we prove that the homotopy class of a morphism φ : En → C is uniquely determined by a multiplicative constant which gives the action of φ on generating operations in homology. From this result, we deduce that the connected components of MapO0 (En,C) are in bijection with the ground ring. Then we prove that each of these connected components is contractible. In the case n = ∞, we deduce from our results that the space of homotopy self-equivalences of an E∞-operad in differential graded modules has contractible connected components indexed by the invertible elements of the ground ring.
منابع مشابه
On Mapping Spaces of Differential Graded Operads with the Commutative Operad as Target
The category of differential graded operads is a cofibrantly generated model category and as such inherits simplicial mapping spaces. The vertices of an operad mapping space are just operad morphisms. The 1-simplices represent homotopies between morphisms in the category of operads. The goal of this paper is to determine the homotopy of the operadic mapping spaces MapO0 (En,C) with a cofibrant ...
متن کاملThe Cotriple Resolution of Differential Graded Algebras
We consider the cotriple resolution of algebras over operads in differential graded modules. We focus, to be more precise, on the example of algebras over the differential graded Barratt-Eccles operad, and on the example of commutative alegbras. We prove that the geometric realization of the cotriple resolution (in the sense of model categories) gives a cofibrant resolution functor on these cat...
متن کاملBar Constructions and Quillen Homology of Modules over Operads
There are many interesting situations in which algebraic structure can be naturally described by operads [28, 31, 32, 33]. In many of these, there is a notion of abelianization or stabilization [1, 2, 13, 14, 15, 16, 17, 36, 37, 40, 42] which provides a notion of (derived) homology. In this context, homology is not just a graded collection of abelian groups, but a geometric object like a chain ...
متن کاملBar-cobar Duality for Operads in Stable Homotopy Theory
We extend bar-cobar duality, defined for operads of chain complexes by Getzler and Jones, to operads of spectra in the sense of stable homotopy theory. Our main result is the existence of a Quillen equivalence between the category of reduced operads of spectra (with the projective model structure) and a new model for the homotopy theory of cooperads of spectra. The crucial construction is of a ...
متن کاملOperadic Multiplications in Equivariant Spectra, Norms, and Transfers
We study homotopy-coherent commutative multiplicative structures on equivariant spaces and spectra. We define N∞ operads, equivariant generalizations of E∞ operads. Algebras in equivariant spectra over an N∞ operad model homotopically commutative equivariant ring spectra that only admit certain collections of Hill-Hopkins-Ravenel norms, determined by the operad. Analogously, algebras in equivar...
متن کامل